Modeling Attempt and Action Failure in Probabilistic STIT Logic
نویسنده
چکیده
We define an extension of stit logic that encompasses subjective probabilities representing beliefs about simultaneous choice exertion of other agents. The formalism enables us to express the notion of ‘attempt’ as a choice exertion that maximizes the chance of success with respect to an action effect. The notion of attempt (or effort) is central in philosophical and legal discussions on responsibility and liability.
منابع مشابه
A STIT logic analysis of social influence
In this paper we propose a method for modeling social influence within the STIT approach to action. Our proposal consists in extending the STIT language with special operators that allows us to represent the consequences of an agent’s choices over the rational choices of another agent.
متن کاملFrom Coalition Logic to STIT 1
STIT is a logic of agency that has been proposed in the nineties in the domain of philosophy of action. It is the logic of constructions of the form \agent a sees to it that '". We believe that STIT theory may contribute to the logical analysis of multiagent systems. To support this claim, in this paper we show that there is a close relationship with more recent logics for multiagent systems. W...
متن کاملTowards an ontology of agency and action From STIT to OntoSTIT+
A variety of disciplines and research areas have separately studied the notions of action, agents and agency, but no integrated and well-developed formal ontology for them is currently available. This paper is a first attempt at bridging this gap, focusing especially on the relationship between agency and action. The departure point is STIT logic, the most expressive among the current logics of...
متن کاملAction Types in STIT Semantics
Stit semantics grows out of a modal tradition in the logic of action that concentrates on an operator representing the agency of an individual in seeing to it that some state of affairs holds, rather than on the actions the individual performs in doing so. The purpose of this paper is to enrich stit semantics, and especially epistemic stit semantics, by supplementing the overall framework with ...
متن کاملA Computationally Grounded Dynamic Logic of Agency, with an Application to Legal Actions
In this article, we propose a Dynamic Logic of Propositional Control DL-PC in which the concept of ‘seeing to it that’ (abbreviated stit) as studied by Belnap, Horty and others can be expressed; more precisely, we capture the concept of the so-called Chellas stit theory and the deliberatibe stit theory, as opposed to Belnap’s original achievement stit. In this logic, the sentence ‘group G sees ...
متن کامل